(Frecenter): Use displayed_window_lines instead
authorGerd Moellmann <gerd@gnu.org>
Wed, 27 Dec 2000 15:46:17 +0000 (15:46 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 27 Dec 2000 15:46:17 +0000 (15:46 +0000)
commit493a79e990b03016faa61adc2c6790a5debe93eb
tree6bc9cc35fe928dd0db1898ccc3b2200d864d9d52
parent1499abc2312e8256bc1e930047c8d7c96f79fe6b
(Frecenter): Use displayed_window_lines instead
of window_internal_height.
src/window.c